[next] [prev] [prev-tail] [tail] [up]

2.2.13 Integrals 1201 to 1300

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 1201

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

108 113 52 0 0 0 34 0 0

N.S.

1 1.05 0.48 0.00 0.00 0.00 0.31 0.00 0.00

time (sec)

N/A 0.258 10.014 0.000 0.000 0.000 0.676 0.000 0.000

Problem 1202

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

133 144 52 0 0 0 34 0 0

N.S.

1 1.08 0.39 0.00 0.00 0.00 0.26 0.00 0.00

time (sec)

N/A 0.294 10.017 0.000 0.000 0.000 0.831 0.000 0.000

Problem 1203

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

158 175 52 0 0 0 34 0 0

N.S.

1 1.11 0.33 0.00 0.00 0.00 0.22 0.00 0.00

time (sec)

N/A 0.334 10.015 0.000 0.000 0.000 1.051 0.000 0.000

Problem 1204

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

106 110 62 59 86 58 117 109 60

N.S.

1 1.04 0.58 0.56 0.81 0.55 1.10 1.03 0.57

time (sec)

N/A 0.231 0.059 4.599 0.223 0.265 0.883 0.264 5.561

Problem 1205

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

84 88 51 48 68 47 94 83 49

N.S.

1 1.05 0.61 0.57 0.81 0.56 1.12 0.99 0.58

time (sec)

N/A 0.213 0.049 4.384 0.199 0.242 0.589 0.280 5.509

Problem 1206

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

62 66 40 37 50 36 70 57 38

N.S.

1 1.06 0.65 0.60 0.81 0.58 1.13 0.92 0.61

time (sec)

N/A 0.197 0.045 4.362 0.192 0.245 0.390 0.275 5.520

Problem 1207

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

40 44 29 26 32 25 46 31 27

N.S.

1 1.10 0.72 0.65 0.80 0.62 1.15 0.78 0.68

time (sec)

N/A 0.184 0.036 4.459 0.202 0.237 0.258 0.272 5.492

Problem 1208

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

19 19 19 16 15 15 24 15 15

N.S.

1 1.00 1.00 0.84 0.79 0.79 1.26 0.79 0.79

time (sec)

N/A 0.146 0.021 4.468 0.188 0.242 0.101 0.277 5.464

Problem 1209

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C C B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

57 57 50 64 60 87 39 192 38

N.S.

1 1.00 0.88 1.12 1.05 1.53 0.68 3.37 0.67

time (sec)

N/A 0.192 0.065 4.542 0.297 0.342 0.522 0.280 5.551

Problem 1210

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C C B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

81 88 81 89 96 199 41 226 61

N.S.

1 1.09 1.00 1.10 1.19 2.46 0.51 2.79 0.75

time (sec)

N/A 0.208 0.156 4.559 0.296 0.260 0.767 0.272 5.704

Problem 1211

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C C B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

108 119 95 113 137 223 41 252 86

N.S.

1 1.10 0.88 1.05 1.27 2.06 0.38 2.33 0.80

time (sec)

N/A 0.224 0.208 4.449 0.318 0.256 1.637 0.276 5.785

Problem 1212

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

133 151 91 0 0 0 29 0 0

N.S.

1 1.14 0.68 0.00 0.00 0.00 0.22 0.00 0.00

time (sec)

N/A 0.242 7.703 0.000 0.000 0.000 0.771 0.000 0.000

Problem 1213

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

108 120 80 0 0 0 29 0 0

N.S.

1 1.11 0.74 0.00 0.00 0.00 0.27 0.00 0.00

time (sec)

N/A 0.218 7.368 0.000 0.000 0.000 0.612 0.000 0.000

Problem 1214

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

85 89 66 0 0 0 29 0 0

N.S.

1 1.05 0.78 0.00 0.00 0.00 0.34 0.00 0.00

time (sec)

N/A 0.189 7.065 0.000 0.000 0.000 0.497 0.000 0.000

Problem 1215

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

59 59 52 0 0 0 29 0 0

N.S.

1 1.00 0.88 0.00 0.00 0.00 0.49 0.00 0.00

time (sec)

N/A 0.172 6.922 0.000 0.000 0.000 0.436 0.000 0.000

Problem 1216

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

85 85 52 0 0 0 32 0 0

N.S.

1 1.00 0.61 0.00 0.00 0.00 0.38 0.00 0.00

time (sec)

N/A 0.197 10.016 0.000 0.000 0.000 0.495 0.000 0.000

Problem 1217

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

108 116 52 0 0 0 34 0 0

N.S.

1 1.07 0.48 0.00 0.00 0.00 0.31 0.00 0.00

time (sec)

N/A 0.215 10.016 0.000 0.000 0.000 0.628 0.000 0.000

Problem 1218

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

133 147 52 0 0 0 34 0 0

N.S.

1 1.11 0.39 0.00 0.00 0.00 0.26 0.00 0.00

time (sec)

N/A 0.236 10.016 0.000 0.000 0.000 0.789 0.000 0.000

Problem 1219

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

264 274 159 200 265 238 39 0 0

N.S.

1 1.04 0.60 0.76 1.00 0.90 0.15 0.00 0.00

time (sec)

N/A 0.415 0.847 4.784 0.290 0.268 1.545 0.000 0.000

Problem 1220

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

233 243 144 174 219 214 39 0 0

N.S.

1 1.04 0.62 0.75 0.94 0.92 0.17 0.00 0.00

time (sec)

N/A 0.381 0.722 4.592 0.280 0.270 0.708 0.000 0.000

Problem 1221

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C C F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

209 214 173 148 176 146 37 0 38

N.S.

1 1.02 0.83 0.71 0.84 0.70 0.18 0.00 0.18

time (sec)

N/A 0.345 0.107 4.788 0.294 0.266 0.508 0.000 5.775

Problem 1222

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

22 22 22 19 18 18 78 0 18

N.S.

1 1.00 1.00 0.86 0.82 0.82 3.55 0.00 0.82

time (sec)

N/A 0.144 0.255 4.424 0.203 0.251 0.443 0.000 5.641

Problem 1223

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

46 46 32 29 37 28 303 0 38

N.S.

1 1.00 0.70 0.63 0.80 0.61 6.59 0.00 0.83

time (sec)

N/A 0.167 0.300 4.502 0.195 0.254 0.636 0.000 5.606

Problem 1224

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

71 77 43 40 55 39 1068 0 59

N.S.

1 1.08 0.61 0.56 0.77 0.55 15.04 0.00 0.83

time (sec)

N/A 0.194 0.338 4.521 0.193 0.243 0.929 0.000 5.753

Problem 1225

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

96 108 54 51 73 50 1821 0 80

N.S.

1 1.12 0.56 0.53 0.76 0.52 18.97 0.00 0.83

time (sec)

N/A 0.226 0.369 4.611 0.203 0.253 1.348 0.000 5.761

Problem 1226

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

121 139 65 62 91 61 2788 0 101

N.S.

1 1.15 0.54 0.51 0.75 0.50 23.04 0.00 0.83

time (sec)

N/A 0.247 0.423 4.705 0.205 0.245 1.995 0.000 5.886

Problem 1227

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

134 148 80 0 0 0 39 0 0

N.S.

1 1.10 0.60 0.00 0.00 0.00 0.29 0.00 0.00

time (sec)

N/A 0.302 7.382 0.000 0.000 0.000 0.629 0.000 0.000

Problem 1228

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

109 117 66 0 0 0 39 0 0

N.S.

1 1.07 0.61 0.00 0.00 0.00 0.36 0.00 0.00

time (sec)

N/A 0.274 7.349 0.000 0.000 0.000 0.497 0.000 0.000

Problem 1229

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

86 86 52 0 0 0 39 0 0

N.S.

1 1.00 0.60 0.00 0.00 0.00 0.45 0.00 0.00

time (sec)

N/A 0.231 7.186 0.000 0.000 0.000 0.437 0.000 0.000

Problem 1230

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

61 61 50 0 0 0 31 0 41

N.S.

1 1.00 0.82 0.00 0.00 0.00 0.51 0.00 0.67

time (sec)

N/A 0.208 10.014 0.000 0.000 0.000 0.506 0.000 5.755

Problem 1231

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

86 86 52 0 0 0 34 0 0

N.S.

1 1.00 0.60 0.00 0.00 0.00 0.40 0.00 0.00

time (sec)

N/A 0.233 10.014 0.000 0.000 0.000 0.607 0.000 0.000

Problem 1232

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

109 117 52 0 0 0 31 0 0

N.S.

1 1.07 0.48 0.00 0.00 0.00 0.28 0.00 0.00

time (sec)

N/A 0.258 10.015 0.000 0.000 0.000 0.726 0.000 0.000

Problem 1233

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

134 148 52 0 0 0 34 0 0

N.S.

1 1.10 0.39 0.00 0.00 0.00 0.25 0.00 0.00

time (sec)

N/A 0.304 10.014 0.000 0.000 0.000 0.924 0.000 0.000

Problem 1234

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

104 108 62 59 86 58 117 113 60

N.S.

1 1.04 0.60 0.57 0.83 0.56 1.12 1.09 0.58

time (sec)

N/A 0.231 0.061 4.386 0.202 0.258 0.986 0.262 5.608

Problem 1235

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

82 86 51 48 68 47 94 87 49

N.S.

1 1.05 0.62 0.59 0.83 0.57 1.15 1.06 0.60

time (sec)

N/A 0.217 0.055 4.502 0.199 0.257 0.660 0.285 5.555

Problem 1236

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

60 64 40 37 50 36 70 61 38

N.S.

1 1.07 0.67 0.62 0.83 0.60 1.17 1.02 0.63

time (sec)

N/A 0.199 0.048 4.388 0.199 0.259 0.402 0.287 5.436

Problem 1237

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

38 42 29 25 32 24 46 32 24

N.S.

1 1.11 0.76 0.66 0.84 0.63 1.21 0.84 0.63

time (sec)

N/A 0.182 0.041 4.468 0.195 0.255 0.260 0.279 5.462

Problem 1238

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

17 17 17 16 15 15 22 15 15

N.S.

1 1.00 1.00 0.94 0.88 0.88 1.29 0.88 0.88

time (sec)

N/A 0.149 0.025 4.478 0.217 0.264 0.092 0.267 5.426

Problem 1239

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C C B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

57 64 48 62 60 108 42 192 36

N.S.

1 1.12 0.84 1.09 1.05 1.89 0.74 3.37 0.63

time (sec)

N/A 0.188 0.079 4.524 0.295 0.275 0.547 0.270 5.559

Problem 1240

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C C B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

81 89 81 89 98 197 39 228 61

N.S.

1 1.10 1.00 1.10 1.21 2.43 0.48 2.81 0.75

time (sec)

N/A 0.202 0.161 4.551 0.299 0.271 0.808 0.305 5.591

Problem 1241

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C C B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

108 120 95 113 141 223 42 252 86

N.S.

1 1.11 0.88 1.05 1.31 2.06 0.39 2.33 0.80

time (sec)

N/A 0.220 0.201 4.478 0.287 0.272 1.718 0.295 5.765

Problem 1242

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

133 151 92 0 0 0 29 0 0

N.S.

1 1.14 0.69 0.00 0.00 0.00 0.22 0.00 0.00

time (sec)

N/A 0.240 8.881 0.000 0.000 0.000 0.748 0.000 0.000

Problem 1243

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

108 120 79 0 0 0 29 0 0

N.S.

1 1.11 0.73 0.00 0.00 0.00 0.27 0.00 0.00

time (sec)

N/A 0.218 8.457 0.000 0.000 0.000 0.593 0.000 0.000

Problem 1244

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

85 89 66 0 0 0 29 0 0

N.S.

1 1.05 0.78 0.00 0.00 0.00 0.34 0.00 0.00

time (sec)

N/A 0.193 8.303 0.000 0.000 0.000 0.488 0.000 0.000

Problem 1245

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

59 59 52 0 0 0 29 0 0

N.S.

1 1.00 0.88 0.00 0.00 0.00 0.49 0.00 0.00

time (sec)

N/A 0.172 7.455 0.000 0.000 0.000 0.461 0.000 0.000

Problem 1246

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

85 84 52 0 0 0 32 0 0

N.S.

1 0.99 0.61 0.00 0.00 0.00 0.38 0.00 0.00

time (sec)

N/A 0.195 10.017 0.000 0.000 0.000 0.566 0.000 0.000

Problem 1247

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

108 115 52 0 0 0 34 0 0

N.S.

1 1.06 0.48 0.00 0.00 0.00 0.31 0.00 0.00

time (sec)

N/A 0.228 10.018 0.000 0.000 0.000 0.686 0.000 0.000

Problem 1248

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

133 146 52 0 0 0 34 0 0

N.S.

1 1.10 0.39 0.00 0.00 0.00 0.26 0.00 0.00

time (sec)

N/A 0.240 10.018 0.000 0.000 0.000 0.860 0.000 0.000

Problem 1249

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

266 286 161 202 274 240 39 0 0

N.S.

1 1.08 0.61 0.76 1.03 0.90 0.15 0.00 0.00

time (sec)

N/A 0.434 0.850 4.667 0.292 0.296 1.628 0.000 0.000

Problem 1250

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

235 255 148 177 222 214 39 0 0

N.S.

1 1.09 0.63 0.75 0.94 0.91 0.17 0.00 0.00

time (sec)

N/A 0.395 0.738 4.523 0.301 0.269 0.756 0.000 0.000

Problem 1251

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

209 224 116 148 176 146 39 0 0

N.S.

1 1.07 0.56 0.71 0.84 0.70 0.19 0.00 0.00

time (sec)

N/A 0.356 0.506 4.673 0.330 0.274 0.537 0.000 0.000

Problem 1252

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

20 20 20 19 18 18 80 0 18

N.S.

1 1.00 1.00 0.95 0.90 0.90 4.00 0.00 0.90

time (sec)

N/A 0.143 0.288 4.425 0.199 0.266 0.419 0.000 5.578

Problem 1253

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

46 46 32 27 36 26 311 0 26

N.S.

1 1.00 0.70 0.59 0.78 0.57 6.76 0.00 0.57

time (sec)

N/A 0.174 0.359 4.427 0.226 0.265 0.612 0.000 5.672

Problem 1254

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

71 77 43 40 55 39 1110 0 39

N.S.

1 1.08 0.61 0.56 0.77 0.55 15.63 0.00 0.55

time (sec)

N/A 0.197 0.434 4.437 0.217 0.258 0.933 0.000 5.796

Problem 1255

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

96 108 54 51 73 50 1928 0 80

N.S.

1 1.12 0.56 0.53 0.76 0.52 20.08 0.00 0.83

time (sec)

N/A 0.226 0.514 4.502 0.232 0.265 1.360 0.000 5.864

Problem 1256

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

134 148 91 0 0 0 39 0 0

N.S.

1 1.10 0.68 0.00 0.00 0.00 0.29 0.00 0.00

time (sec)

N/A 0.286 8.502 0.000 0.000 0.000 0.801 0.000 0.000

Problem 1257

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

109 117 80 0 0 0 39 0 0

N.S.

1 1.07 0.73 0.00 0.00 0.00 0.36 0.00 0.00

time (sec)

N/A 0.278 8.035 0.000 0.000 0.000 0.569 0.000 0.000

Problem 1258

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

86 86 64 0 0 0 39 0 0

N.S.

1 1.00 0.74 0.00 0.00 0.00 0.45 0.00 0.00

time (sec)

N/A 0.236 7.448 0.000 0.000 0.000 0.469 0.000 0.000

Problem 1259

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

63 63 47 0 0 0 37 0 38

N.S.

1 1.00 0.75 0.00 0.00 0.00 0.59 0.00 0.60

time (sec)

N/A 0.207 6.997 0.000 0.000 0.000 0.456 0.000 5.663

Problem 1260

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

88 88 52 0 0 0 34 0 0

N.S.

1 1.00 0.59 0.00 0.00 0.00 0.39 0.00 0.00

time (sec)

N/A 0.232 10.016 0.000 0.000 0.000 0.578 0.000 0.000

Problem 1261

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

111 119 52 0 0 0 31 0 0

N.S.

1 1.07 0.47 0.00 0.00 0.00 0.28 0.00 0.00

time (sec)

N/A 0.273 10.016 0.000 0.000 0.000 0.716 0.000 0.000

Problem 1262

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

136 150 52 0 0 0 34 0 0

N.S.

1 1.10 0.38 0.00 0.00 0.00 0.25 0.00 0.00

time (sec)

N/A 0.321 10.016 0.000 0.000 0.000 0.923 0.000 0.000

Problem 1263

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

81 81 55 0 0 0 39 0 0

N.S.

1 1.00 0.68 0.00 0.00 0.00 0.48 0.00 0.00

time (sec)

N/A 0.236 8.215 0.000 0.000 0.000 0.484 0.000 0.000

Problem 1264

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

48 47 40 42 47 58 418 51 68

N.S.

1 0.98 0.83 0.88 0.98 1.21 8.71 1.06 1.42

time (sec)

N/A 0.201 0.076 4.580 0.232 0.264 1.789 0.282 5.692

Problem 1265

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

23 23 23 22 21 25 104 21 21

N.S.

1 1.00 1.00 0.96 0.91 1.09 4.52 0.91 0.91

time (sec)

N/A 0.155 0.039 4.384 0.224 0.266 0.582 0.287 5.753

Problem 1266

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

41 41 41 0 0 0 39 0 0

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.95 0.00 0.00

time (sec)

N/A 0.178 0.064 0.000 0.000 0.000 2.653 0.000 0.000

Problem 1267

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

66 65 66 57 57 56 56 58 56

N.S.

1 0.98 1.00 0.86 0.86 0.85 0.85 0.88 0.85

time (sec)

N/A 0.221 0.010 4.534 0.235 0.254 0.118 0.290 5.432

Problem 1268

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

53 52 53 46 46 45 44 47 45

N.S.

1 0.98 1.00 0.87 0.87 0.85 0.83 0.89 0.85

time (sec)

N/A 0.207 0.010 4.464 0.238 0.248 0.122 0.291 0.055

Problem 1269

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

40 39 40 34 34 33 32 35 33

N.S.

1 0.98 1.00 0.85 0.85 0.82 0.80 0.88 0.82

time (sec)

N/A 0.192 0.008 4.461 0.225 0.260 0.113 0.309 0.052

Problem 1270

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 26 27 23 23 22 20 24 22

N.S.

1 0.96 1.00 0.85 0.85 0.81 0.74 0.89 0.81

time (sec)

N/A 0.181 0.006 4.650 0.213 0.268 0.104 0.287 5.419

Problem 1271

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

15 15 15 14 13 13 10 14 13

N.S.

1 1.00 1.00 0.93 0.87 0.87 0.67 0.93 0.87

time (sec)

N/A 0.148 0.004 4.372 0.365 0.252 0.080 0.285 0.035

Problem 1272

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

22 26 22 21 23 18 15 22 18

N.S.

1 1.18 1.00 0.95 1.05 0.82 0.68 1.00 0.82

time (sec)

N/A 0.176 0.008 4.355 0.279 0.254 0.144 0.284 5.714

Problem 1273

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

35 36 35 32 33 33 31 42 31

N.S.

1 1.03 1.00 0.91 0.94 0.94 0.89 1.20 0.89

time (sec)

N/A 0.193 0.008 4.380 0.223 0.277 0.226 0.286 5.666

Problem 1274

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

49 50 49 44 47 45 42 55 46

N.S.

1 1.02 1.00 0.90 0.96 0.92 0.86 1.12 0.94

time (sec)

N/A 0.212 0.008 4.518 0.203 0.250 0.268 0.273 5.617

Problem 1275

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

63 64 63 56 58 58 56 69 58

N.S.

1 1.02 1.00 0.89 0.92 0.92 0.89 1.10 0.92

time (sec)

N/A 0.223 0.009 4.484 0.209 0.267 0.314 0.282 0.101

Problem 1276

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A C A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

301 317 311 27 239 1130235 20 275 235

N.S.

1 1.05 1.03 0.09 0.79 3754.93 0.07 0.91 0.78

time (sec)

N/A 0.703 0.199 4.353 0.284 9.344 0.076 0.279 6.143

Problem 1277

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

72 68 60 63 65 81 68 80 68

N.S.

1 0.94 0.83 0.88 0.90 1.12 0.94 1.11 0.94

time (sec)

N/A 0.218 0.029 4.501 0.207 0.252 0.221 0.284 0.094

Problem 1278

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

59 56 49 54 54 70 56 67 57

N.S.

1 0.95 0.83 0.92 0.92 1.19 0.95 1.14 0.97

time (sec)

N/A 0.212 0.019 4.525 0.196 0.266 0.217 0.290 0.094

Problem 1279

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

46 43 38 41 43 56 42 49 45

N.S.

1 0.93 0.83 0.89 0.93 1.22 0.91 1.07 0.98

time (sec)

N/A 0.193 0.019 4.485 0.195 0.257 0.201 0.293 5.384

Problem 1280

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

33 31 27 30 32 35 29 48 29

N.S.

1 0.94 0.82 0.91 0.97 1.06 0.88 1.45 0.88

time (sec)

N/A 0.182 0.010 4.529 0.197 0.280 0.170 0.291 5.371

Problem 1281

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

16 16 16 15 14 15 15 14 14

N.S.

1 1.00 1.00 0.94 0.88 0.94 0.94 0.88 0.88

time (sec)

N/A 0.146 0.007 4.383 0.199 0.272 0.116 0.310 5.453

Problem 1282

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

38 39 33 35 37 47 34 45 34

N.S.

1 1.03 0.87 0.92 0.97 1.24 0.89 1.18 0.89

time (sec)

N/A 0.187 0.017 4.373 0.200 0.298 0.233 0.288 0.069

Problem 1283

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

52 52 41 54 53 73 54 51 53

N.S.

1 1.00 0.79 1.04 1.02 1.40 1.04 0.98 1.02

time (sec)

N/A 0.202 0.045 4.424 0.189 0.277 0.336 0.281 0.082

Problem 1284

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

69 68 57 66 70 90 68 85 67

N.S.

1 0.99 0.83 0.96 1.01 1.30 0.99 1.23 0.97

time (sec)

N/A 0.216 0.057 4.638 0.196 0.576 0.400 0.285 5.805

Problem 1285

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

34 28 25 23 26 22 26 30 22

N.S.

1 0.82 0.74 0.68 0.76 0.65 0.76 0.88 0.65

time (sec)

N/A 0.175 0.011 4.489 0.193 0.269 0.101 0.308 0.059

Problem 1286

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

24 19 24 18 20 17 17 21 19

N.S.

1 0.79 1.00 0.75 0.83 0.71 0.71 0.88 0.79

time (sec)

N/A 0.168 0.006 4.387 0.187 0.261 0.096 0.294 0.036

Problem 1287

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

13 13 17 12 15 11 8 16 11

N.S.

1 1.00 1.31 0.92 1.15 0.85 0.62 1.23 0.85

time (sec)

N/A 0.143 0.005 4.339 0.193 0.264 0.092 0.302 0.042

Problem 1288

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

23 26 23 18 21 16 15 21 19

N.S.

1 1.13 1.00 0.78 0.91 0.70 0.65 0.91 0.83

time (sec)

N/A 0.152 0.006 4.307 0.194 0.288 0.161 0.309 5.629

Problem 1289

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

33 33 33 23 29 27 24 34 27

N.S.

1 1.00 1.00 0.70 0.88 0.82 0.73 1.03 0.82

time (sec)

N/A 0.175 0.007 4.458 0.212 0.271 0.205 0.311 5.621

Problem 1290

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

36 36 36 30 30 29 31 31 29

N.S.

1 1.00 1.00 0.83 0.83 0.81 0.86 0.86 0.81

time (sec)

N/A 0.179 0.008 4.549 0.182 0.282 0.107 0.476 0.057

Problem 1291

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

26 25 26 23 22 21 20 23 22

N.S.

1 0.96 1.00 0.88 0.85 0.81 0.77 0.88 0.85

time (sec)

N/A 0.168 0.006 4.505 0.212 0.272 0.097 0.496 5.593

Problem 1292

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

15 15 15 14 13 13 10 14 13

N.S.

1 1.00 1.00 0.93 0.87 0.87 0.67 0.93 0.87

time (sec)

N/A 0.140 0.004 4.347 0.195 0.275 0.084 0.495 5.426

Problem 1293

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

19 25 19 16 17 15 14 17 16

N.S.

1 1.32 1.00 0.84 0.89 0.79 0.74 0.89 0.84

time (sec)

N/A 0.147 0.006 4.409 0.212 0.262 0.087 0.350 0.062

Problem 1294

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 34 28 23 24 28 24 31 22

N.S.

1 1.21 1.00 0.82 0.86 1.00 0.86 1.11 0.79

time (sec)

N/A 0.179 0.006 4.353 0.199 0.283 0.173 0.427 0.063

Problem 1295

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 23 22 20 19 19 17 20 19

N.S.

1 0.92 0.88 0.80 0.76 0.76 0.68 0.80 0.76

time (sec)

N/A 0.171 0.007 4.479 0.213 0.255 0.032 0.272 5.347

Problem 1296

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

18 16 18 15 14 14 12 15 14

N.S.

1 0.89 1.00 0.83 0.78 0.78 0.67 0.83 0.78

time (sec)

N/A 0.162 0.004 4.348 0.203 0.271 0.033 0.282 0.031

Problem 1297

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

10 10 10 9 8 8 7 9 8

N.S.

1 1.00 1.00 0.90 0.80 0.80 0.70 0.90 0.80

time (sec)

N/A 0.139 0.003 4.462 0.199 0.265 0.039 0.277 0.031

Problem 1298

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

13 17 13 12 15 11 10 13 11

N.S.

1 1.31 1.00 0.92 1.15 0.85 0.77 1.00 0.85

time (sec)

N/A 0.151 0.005 4.386 0.189 0.286 0.049 0.283 5.413

Problem 1299

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

22 22 22 19 20 24 17 25 18

N.S.

1 1.00 1.00 0.86 0.91 1.09 0.77 1.14 0.82

time (sec)

N/A 0.169 0.006 4.407 0.216 0.262 0.052 0.277 0.058

Problem 1300

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

186 172 147 39 145 502 36 128 181

N.S.

1 0.92 0.79 0.21 0.78 2.70 0.19 0.69 0.97

time (sec)

N/A 0.417 0.138 4.447 0.271 0.937 0.494 0.276 0.307

[next] [prev] [prev-tail] [front] [up]